Pdk: The System and Its Language
نویسندگان
چکیده
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that finding solution plans is reduced to model search. The model search mechanism is based on temporal tableaux. The planning language accepted by the system allows one to specify extra problem dependent information, that can be of help both in reducing the search space and finding plans of better quality.
منابع مشابه
IGF-I regulated phosphorylation and translocation of PDK-1 in neurons.
3'-phosphoinositide-dependent protein kinase-1 (PDK-1) is a crucial serine/threonine kinase in the insulin-like growth factor-I (IGF-I)/AKT signaling pathway, but its function and localization in the nervous system has not been fully characterized. In this study, we compared the localization of PDK-1 in adult neurons and non-neuronal PC-3 cells. We showed that PC-3 cells expressed phosphorylate...
متن کاملTranslocation of PDK-1 to the plasma membrane is important in allowing PDK-1 to activate protein kinase B
BACKGROUND Protein kinase B (PKB) is involved in the regulation of apoptosis, protein synthesis and glycogen metabolism in mammalian cells. Phosphoinositide-dependent protein kinase (PDK-1) activates PKB in a manner dependent on phosphatidylinositol 3,4,5-trisphosphate (PtdIns(3,4,5)P3), which is also needed for the translocation of PKB to the plasma membrane. It has been proposed that the amou...
متن کاملA Dynamical System Approach to Research in Second Language Acquisition
Epistemologically speaking, second language acquisition research (SLAR) might be reconsidered from a complex dynamical system view with interconnected aspects in the ecosystem of language acquisition. The present paper attempts to introduce the tenets of complex system theory and its application in SLAR. It has been suggested that the present dominant traditions in language acquisition research...
متن کاملCellular Signaling Pivoting around PDK-1
the discovery that PDK-1 is the Akt/PKB upstream ki-Harvard Medical School nase came the observation that PDK-1 also phosphory-Boston, Massachusetts 02215 lates a number of other kinases, including p70S6-kinase † Department of Pharmacology (p70S6-K) and protein kinase C (PKC) (Figure 1) (for a relieves autoinhibition of the ac-hormones. Deregulation of this pathway is associated tive site, allo...
متن کاملInhibition of PDK-1 activity causes a reduction in cell proliferation and survival
3-Phosphoinositide-dependent kinase-1 (PDK-1) was identified by its ability to phosphorylate and activate protein kinase B (PKB) in vitro [1,2] and can phosphorylate and activate additional protein kinases in the AGC family in vitro [3-6]. Its role in vivo has, however, only begun to be addressed. We used antisense oligonucleotides directed against PDK-1 expression to explore the role of PDK-1 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005